$\forall$$A$:Type, $n$:$\mathbb{Z}$, ${\it as}$:$A$ List($n$). $\parallel$${\it as}$$\parallel$ $=$ $n$